#ifndef __TASKS_TIMER_H__
#define __TASKS_TIMER_H__

#include "gd32f4xx.h"


void Tasks_timer_init();

uint32_t Task_timer_get_tick();

#endif